-- Wrong Parameter Type

DEF MAIN:nat == add(1, true)

